1. Cornerstones of undecidability /
المؤلف: Grzegorz Rozenberg and Arto Salomaa
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Decidability (Mathematical logic),Unsolvability (Mathematical logic),équation diophantienne,indécidabilité,Logique,Mathematical logic,récursivité,théorie démonstration
رده :
QA9
.
63
.
R69
1994


2. L systems
المؤلف: Edited by Grzegorz Rozenberg and Arto Salomaa
المکتبة: (طهران)
موضوع: ، L systems
رده :
QH
491
.
L2

